单体滑坡灾害承灾体的有限元模拟与易损性评估

针对目前单体滑坡灾害承灾体易损性评估定量化程度不高的问题,提出了一种承灾体易损性计算方法。在分析滑坡运动过程和承灾体破坏机制的基础上,引进塑性铰的概念,考虑了承灾体塑性变形过程,建立了简化计算模型。应用有限元软件SAP2000对钢筋混凝土框架结构受侧向力形变过程进行数值模拟,所得受力与位移参数代入简化计算模型,得到易损性数值并确定了承灾体破坏等级。结果表明:建筑物弹塑性变形与局部塑性铰变形过程类似,且塑性阶段所占比例较大;计算所得安全距离92.7m和承灾体易损性V为1时距离69.7m与实际基本相符。     

荆州市洪灾社会脆弱性评价及其空间分异研究

洪灾社会脆弱性评价对于灾区减灾、政府决策与预警具有重要的指导意义。首先,利用荆州市社会经济数据,从人口、经济、就业、教育、土地利用与住房条件、交通与通讯、灾害综合管理7个方面32个指标构建洪灾社会脆弱性评价指标体系,通过因子分析确定了5个主因子:综合经济因子、农业与人口因子、逃生因子、社会保障因子、住房因子;然后计算各因子得分以及各地区洪灾社会脆弱性总得分;最后,对地区洪灾社会脆弱性进行系统聚类和GIS制图分析。空间分异结果表明:监利县的洪灾社会脆弱性最高;江陵县、公安县、洪湖市、松滋市和石首市为中高社会脆弱性地区;荆州区为中低区;沙市区为最低区。研究成果揭示了荆州地区洪灾社会脆弱性的空间分布,有利于进一步的防灾减灾。     

基于二阶段多目标的消防资源优化配置模型

建立资源调度的整数规划模型,并用算法实现对整个城市的消防资源进行优化配置.试用结果表明,根据本模型进行资源优化配置,消防队应配置的资源量总量显著减少.该模型可用于解决城市中因同一时间段内发生2起以上火灾事故而导致消防资源短缺或闲置的问题.     

基于数理统计的离散变量优化设计

建立了一种优化设计的新方法．解决了同时考虑设计变量的连续性、离散性和随机性等多种变量形式,并含有统计检验约束条件的优化设计问题．优化结果的正确性得到了工程实际问题试验验证．表明方法是行之有效的,为基于数理统计的离散变量优化设计提供了手段．     

附有约束条件的整周模糊度解算

载波相位测量的相对精度目前可以达毫米级,其周期性造成了模糊度无法确知,必须对其进行解算。传统的模糊度解算方法精度虽然较高但耗时,无法满足实时动态定位;附有几何约束算法的定位速度虽然较高,但由于基线先验信息的误差导致可靠性不高。提出了一种模糊度的解算方法,通过对基线向量的约束提高模糊度解算速度,该算法即使在先验信息出现一定误差的情况下,依然能较准确地估算模糊度,从而保证模糊度解算结果的可靠性。仿真结果表明：该算法能有效地提高整周模糊度解算效率,并且具有一定的容错力,适合于动态定位。     

基于Lattice的验证方环签名改进算法研究

为了解决现有的数字签名机制在发放软件著作、专利许可证以及项目工程招投标等应用中出现的各种隐私安全问题,以随机预言模型下的相关签名方案为理论基础,提出了一种基于格结构（Lattice）的强约束验证方环签名改进算法,即L_SRS算法。该算法在标准模型下给出了详实的安全性分析,依据标准的小整数解困难问题,L_SRS算法增加了一种强约束安全机制,能够有效抵抗适应性选择消息攻击,对其具有强不可伪造性。通过安全性与性能分析,L_SRS算法具有应用高安全性、签名计算高效率性等特点。     

南水北调北京市东干渠地质水文循环规律研究

南水北调北京市东干渠地下水循环动态类型分为渗入、蒸发、径流型和渗入、径流型两种,两者均接纳大气降水入渗、侧向径流补给。排水方式主要为地下水侧向径流和越流,总体流向自西北向东南。区内基岩裂隙水和松散类孔隙水的分布受构造的控制。应研究地下水循环规律,以减少地质变化对管线的危害。     

智能合约漏洞检测技术综述

智能合约作为可信的去中心化应用,获得了广泛的关注,但其安全漏洞问题对其可靠性带来了巨大威胁.为此,研究者们利用各种前沿技术(如模糊测试、机器学习、形式化验证等)研究了多种漏洞检测技术,并取得了可观的效果.为了系统性地梳理与分析现有智能合约漏洞检测技术,搜集截至2021年7月关于智能合约漏洞检测的84篇论文,根据它们的核心方法进行分类,从每种技术的实现方法、漏洞类型、实验数据等方面展开分析,同时对比国内外研究现状在这些方面的差异.最后,对现有的智能合约漏洞检测技术进行总结,探讨面临的挑战,并展望了未来的研究方向.     

电池置换站运营收益模型与策略

为了使运营收益最大化,本文采用电池置换站的策略,从运营商的角度出发,建立了针对电池置换站运营的整数线性规划模型。该模型综合考虑了置换费用、置换站的电池拥有量、置换站的充放电能力以及置换站服务水平等因素。模型的求解主要采用Lingo编程技术,分析了模型的影响因素,得出了不同参数情况下对应收益的最大值和各置换站在各时间段对电池进行充放电的数量,同时进一步分析这些参数与运营收益之间的敏感关系。通过上述分析可以发现,该模型的提出可以使得运营商的投资风险最小化和收益的最大化,从而为制定合理有效的运营策略和电池管理提供有力指导。     

OpenSSL HeartBleed漏洞分析及检测技术研究

HeartBleed漏洞是一个严重的安全漏洞。分析了OpenSSL中心跳机制的源代码,在代码层次总结了HeartBleed漏洞产生的原因。采用Python语言实现了漏洞检测脚本工具,通过发送心跳信息长度与长度字段不一致的心跳数据包,并根据响应数据包的类型和响应数据的长度,判断目标是否存在HeartBleed漏洞。针对应用OpenSSL的Web网站以及网络服务的服务器进行了检测实验。与已有检测工具的比较实验表明,实现的检测脚本工具检测范围广,检测时间快,正确率高,可以有效完成HeartBleed漏洞的检测工作。